This book constitutes the refereed proceedings of the 13th International Scandinavian Symposium and Workshops on Algorithm Theory, SWAT 2012, held in Helsinki, Finland, in July 2012, co-located with the 23rd Annual Symposium on Combinatorial Pattern Matching, CPM 2012. The 34 papers were carefully reviewed and selected from a total of 127 submissions. The papers present original research and cover a wide range of topics in the field of design and analysis of algorithms and data structures.

The article is devoted to the analysis of two dominant security concepts in the modern world. Given the long bipolarity of the world, due to the dominance of the Horde and Westphalian concepts of security, the question arises about the place of Ukraine in this coordinate system. In the process of research, a historical analysis of the emergence, formation and dissemination of two, alternative concepts of security, which are characteristic of countries with different governance models. The article argues that at (...) present two concepts of state security are dominant in the world, namely the Westphalian and the Horde. The conducted analysis allows us to state that the strategic partnership between these two concepts of security is illusory, given the great differences in the principles of concept construction. (shrink)

Abstrakt: Článok sa zaoberá tým, ako Dión z Prúsy pracuje s figúrou Diogena, respektíve ako prispôsobuje diogenovský kynizmus sociálnej a politickej realite svojej doby. Prvá časť načrtáva okolnosti, ktoré doviedli Dióna k rozhodnutiu, aby si obliekol kynický plášť. Ďalšia časť sa zaoberá tým, ako Dión vytvoril z Diogena príklad filosofického konania. Diónovo chápanie kynizmu sa prejavuje v jeho reinterpretácii príbehu o Diogenovi a Alexandrovi. Nakoniec sa článok zamýšľa nad otázkou, aké črty zdôrazňuje Dión vo svojom portréte Diogena a akú úlohu (...) prisudzuje kynizmu v období cisárskeho Ríma. Kľúčové slová: Dión z Prúsy, Diogenés zo Sinópy, kynizmus, Sókratés – sokratika. (shrink)

Abstrakt: Článok sa zaoberá tým, ako Dión z Prúsy pracuje s figúrou Diogena, respektíve ako prispôsobuje diogenovský kynizmus sociálnej a politickej realite svojej doby. Prvá časť načrtáva okolnosti, ktoré doviedli Dióna k rozhodnutiu, aby si obliekol kynický plášť. Ďalšia časť sa zaoberá tým, ako Dión vytvoril z Diogena príklad filosofického konania. Diónovo chápanie kynizmu sa prejavuje v jeho reinterpretácii príbehu o Diogenovi a Alexandrovi. Nakoniec sa článok zamýšľa nad otázkou, aké črty zdôrazňuje Dión vo svojom portréte Diogena a akú úlohu (...) prisudzuje kynizmu v období cisárskeho Ríma. Kľúčové slová: Dión z Prúsy, Diogenés zo Sinópy, kynizmus, Sókratés – sokratika. (shrink)

The focus of the paper is a discussion around one of the versions of scientific realism – ontic structural realism, which has gained popularity due to the development of quantum field theory. According to OSR, individual objects do not exist as ontological primitives. The ontology of objects and their properties is replaced by the ontology of structures and relations. The paper discusses the arguments of the proponents of OSR, describing it as the only way to preserve scientific realism in general (...) relativity and in quantum physics, which are reduced to mathematical structures with different symmetries. Five possible variants of the ontological relationship between structures and objects are analyzed in detail. Particular attention is paid to the eliminative and non-eliminative versions of OSR. If the former in principle excludes any existence of objects, then in the latter, objects receive their secondary existence due to relations, and their identity is reduced to nodes in the structures of relations. The main objections to OSR and the answers of its proponents are analyzed. It is shown that references to quantum physics are both its strengths and weaknesses of OSR, since they often superficially refer to the formalism of the theory, not accepting one or another of its interpretation. The paper argues the thesis that the extreme eliminative OSR, despite all its advantages, has several serious limitations. The best way out of the situation may be the development of the non-eliminative versions of OSR. In conclusion, it provides a critical analysis of one of these versions – moderate OSR of M. Esfeld and V. Lam, who believe that structures should have causal properties, something resembling a disposition. (shrink)

Cieľom článku je nanovo reflektovať činnosť jednej z najslávnejších ženských filozofiek, Hip­parchie z Maróneie. Naším zámerom je ukázať, prečo sa stala v porovnaní s inými ženami antiky taká významná a v mnohom signifikantná pre ďalší vývoj procesu ženskej eman­cipácie. Hlavným svedectvom je pre nás fragment SSR V I 1 od Diogena Laertského, ktorý kladieme do súvislosti s ďalšími antickými správami o Antisthenovi a raných kynikoch. Dve hlavné témy Diogenovho svedectva sú Kratétova svadba s Hipparchiou a spor Hipparchie s Theodórom. Vo (...) výklade poukazujeme na momenty, v ktorých je filozofická osobnosť Hip­parchie nadčasová a inšpiratívna aj pre súčasnosť. (shrink)

V.K.: Vladislav Aleksandrovich, you have come a long way in your scientific career: from a student of the class of 1955 in the Philosophy Faculty of Moscow State University to a corresponding member of the Russian Academy of Sciences, head of the sector of the theory of knowledge and head of the division of epistemology and logic at the Institute of Philosophy of the RAS, and editor in chief of our country's leading philosophy journal Voprosy filosofii. Your field of (...) research is the theory of knowledge and the philosophy of science or, to be more specific, the cultural-historical analysis of knowledge from the point of view of the activity approach. As far as I know, the psychological aspect of the activity approach to the study of consciousness and knowledge was developed by the psychologists Lev Semenovich Vygotsky, his student Aleksei Nikolaevich Leontiev, Aleksandr Romanovich Luria, and Petr Iakovlevich Galperin. Leontiev, Luria, and Galperin were professors at the Philosophy Faculty of MGU at the time you were studying there. Tell me, did you develop your scientific interests under the influence of the Moscow school of cultural-historical psychology? (shrink)

The author reviews and discusses the contributions made by V. Lektorsky to philosophy, and especially to epistemology, in the Soviet and post-Soviet periods.

Suvák, V. (ed.) Sebapoznanie a/ko starosť o seba. Prešov: ACTA FACULTATIS PHILOSOPHICAE UNIVERSITATIS PREŠOVIENSIS, 2010. ISBN 978-80-555-0230-4.

The framework of a simple opposition realism – anti-realism is not enough to analyze the views on the reality of unobservable objects of quantum theory. First, it is necessary to distinguish between realism in relation to the theory and realism in relation to the theory’s objects. Secondly, realism in relation to classical objects can be combined, both with realism and with anti-realism in relation to quantum objects. Third, the concept of “existence” and “to exist objectively” can have different meanings. To (...) take into account these factors, the article describes three approaches: classical realism, quantum anti-realism, and quantum realism. I show that the debate around quantum reality has intensified in recent decades due to a series of new quantum experiments. The current stage of the debate is caused by the second quantum revolution relating to the transfer and processing of quantum information. Classical realism and old versions of quantum anti-realism have become insufficiently effective to explain the results of a series of experiments. Proponents of quantum realism, in turn, refer to the possibility of using the wave function to manipulate quantum objects before their measurement. In conclusion, I assume that not only theoretical discussions but also experiments and new technologies can have a major impact on the seemingly purely philosophical debate about reality. (shrink)

_Care of the Self: Ancient Problematizations of Life and Contemporary Thought_, by Lívia Flachbartová, Pavol Sucharek, and Vladislav Suvák, focus on different manifestations of “taking care of the self” present in ancient and contemporary thought.

In this paper we treat humorous situations as a series of events underpinned by topoi, principles of reasoning recognised within a socio-cultural community. We claim that humorous effect in jokes and other discourse is often created by the juxtaposition of topoi evoked. A prerequisite for this is that there is a shift where the interpreter of the discourse updates their information state with regard to a second topos being evoked. This view of humour is consistent with an incremental analysis of (...) dialogue, and we therefore argue that interaction is central both for humour creation and interpretation. We point out some different ways in which topoi are juxtaposed in humorous dialogues as well as in jokes published in social media or in joke books, and take jokes from the coronavirus pandemic as an example because this makes lots of new topoi available and therefore offers the opportunity of creating novel jokes based on the juxtaposition of the new and existing topoi. We explore how the mechanisms of inference in dialogue can be applied to humour through the four elements from our title: old, new, borrowed and taboo. (shrink)

'This book is a masterpiece of theoretical thought. It anticipates the actual achievements of much of what we now call sociolinguistics.

In this paper we present stable and unstable versions of several well-known relations from mereotopology: part-of, overlap, underlap and contact. An intuitive semantics is given for the stable and unstable relations, describing them as dynamic counterparts of the base mereotopo-logical relations. Stable relations are described as ones that always hold, while unstable relations hold sometimes. A set of first-order sentences is provided to serve as axioms for the stable and unstable relations, and representation theory is developed in similar fashion to (...) Stone’s representation theory for Boolean algebras and distributive lattices. Then we present some results about the first-order predicate logic of these relations and about its quantifier-free fragment. Completeness theorems for these logics are proved, the full first-order theory is proved to be hereditary undecidable and the satisfiability problem of the quantifier-free fragment is proved to be NP-complete. (shrink)

In this paper we present stable and unstable versions of several well-known relations from mereotopology: part-of, overlap, underlap and contact. An intuitive semantics is given for the stable and unstable relations, describing them as dynamic counterparts of the base mereotopo-logical relations. Stable relations are described as ones that always hold, while unstable relations hold sometimes. A set of first-order sentences is provided to serve as axioms for the stable and unstable relations, and representation theory is developed in similar fashion to (...) Stone’s representation theory for Boolean algebras and distributive lattices. Then we present some results about the first-order predicate logic of these relations and about its quantifier-free fragment. Completeness theorems for these logics are proved, the full first-order theory is proved to be hereditary undecidable and the satisfiability problem of the quantifier-free fragment is proved to be NP-complete. (shrink)

Things and Their Place in Theories Our talk of external things, our very notion of things, is just a conceptual apparatus that helps us to foresee and ...

Business Ethics, the Environment &Responsibility, Volume 31, Issue 3, Page 762-776, July 2022.

This article outlines the history and development of Russian scholastic thought, whose evolution took place over the course of a century, from the mid-17th to the mid-18th centuries. By the time scholasticism began to spread in Russia, it had already reached its final stages of development in Europe. Of the three major European schools of scholasticism—nominalism, Thomism and “second scholasticism”—the last two were the most popular ones in Russia.

This article outlines the history and development of Russian scholastic thought, whose evolution took place over the course of a century, from the mid-17th to the mid-18th centuries. By the time scholasticism began to spread in Russia, it had already reached its final stages of development in Europe. Of the three major European schools of scholasticism—nominalism, Thomism and “second scholasticism”—the last two were the most popular ones in Russia.

Despite the importance of the variational principles of physics, there have been relatively few attempts to consider them for a realistic framework. In addition to the old teleological question, this paper continues the recent discussion regarding the modal involvement of the principle of least action and its relations with the Humean view of the laws of nature. The reality of possible paths in the principle of least action is examined from the perspectives of the contemporary metaphysics of modality and Leibniz's (...) concept of essences or possibles striving for existence. I elaborate a modal interpretation of the principle of least action that replaces a classical representation of a system's motion along a single history in the actual modality by simultaneous motions along an infinite set of all possible histories in the possible modality. This model is based on an intuition that deep ontological connections exist between the possible paths in the principle of least action and possible quantum histories in the Feynman path integral. I interpret the action as a physical measure of the essence of every possible history. Therefore only one actual history has the highest degree of the essence and minimal action. To address the issue of necessity, I assume that the principle of least action has a general physical necessity and lies between the laws of motion with a limited physical necessity and certain laws with a metaphysical necessity. (shrink)

The present paper builds on the Rawlsian critique of utilitarianism in order to identify the moral implications of Niklas Luhmann’s social systems theory. While Luhmann aptly discerned the pervasive problems of the precarious system–environment relations throughout the modern society, he took moral communication to be person-centered and thus ill-equipped to deal with these problems. At the same time, the Rawlsian possibility of sacrificing fundamental liberties for the sake of economic gains not only exemplifies the Luhmannian precariousness of the relations of (...) the economic system to its societal environment, but also shows this precariousness to be a moral problem. Thus, from the systems-theoretic perspective, the Rawlsian idea of justice denotes the moral dimension of the capacity of the societal environment to carry the economic system. More generally, the proposed complementarity between Rawls and Luhmann allows to see the precariousness of system–environment relations, for any type of social system, as a moral problem. Two implications follow. First, the morally problematic manifestations of the precarious system–environment relations are not limited to the Rawlsian case of the discrimination of the least advantaged groups but rather include a broad range of social costs and damaging effects of business on society and nature. Second, and related, the proposed systems-theoretic perspective explicates the moral value of sustainability of the economic as well as other social systems in their environment, societal and ecological alike. (shrink)

This book synthesizes the game-theoretic modeling of decision-making processes and an ancient moral requirement, called the Golden Rule of ethics (GR). This rule states, "Behave to others as you would like them to behave to you." The GR is one of the oldest, most widespread and specific moral requirements that appear in Christianity, Islam, Judaism, Buddhism, and Confucianism. The book constructs and justifies mathematical models of dynamic socio-economic processes and phenomena that reveal the mechanism of the GR and are based (...) on the concept of Berge equilibrium. The GR can be naturally used for resolving or balancing conflicts, and its "altruistic character" obviously excludes wars, blood-letting, and armed clashes. The previous book of the authors, The Berge Equilibrium: A Game-Theoretic Framework for the Golden Rule of Ethics, covers the static case of the GR. In this book, the dynamic case of the GR is investigated using the altruistic concept of Berge equilibrium and three factors as follows: a) a modification of N.N. Krasovskii's mathematical formalization of differential positional games (DPGs), in view of the counterexamples given by A.I. Subbotin and A.F. Kononenko; b) the method of guiding control, proposed by N.N. Krasovskii; c) the Germeier convolution of the payoff functions of different players. Additionally, the book features exercises, problems, and solution tips collected together in Appendix 1, as well as new approaches to conflict resolution as presented in Appendices 2-4. The book will be of use to undergraduate and graduate students and experts in the field of decision-making in complex control and management systems, as well as anyone interested in game theory and applications. (shrink)